141. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
Author: International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1991
142. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1993
143. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
Author: sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2010
144. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
Author: sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2011
145. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2005
146. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2007
147. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2006
148. Structural information and communication complexity :
Author: Zvi Lotker, Boaz Patt-Shamir (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
Classification :
QA76
.
9
.
A43
149. The Art of computer programming
Author: / Donald Ervin Knuth
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers-- programming
Classification :
QA
76
.
6
.
K64
150. The algorithmic code of ethics :
Author: Jérôme Béranger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms-- Moral and ethical aspects.,Electronic data processing-- Moral and ethical aspects.,Information technology-- Moral and ethical aspects.,BUSINESS & ECONOMICS-- Business Ethics.,COMPUTERS-- Programming-- Algorithms.,Electronic data processing-- Moral and ethical aspects.,Information technology-- Moral and ethical aspects.
Classification :
QA76
.
9
.
M65
151. The art of computer Programming
Author: / [by] Donald E. Knuth,Knuth
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers - Programming
Classification :
QA
76
.
5
.
K57
152. The art of computer programming
پدیدآورنده : Donald E. Knuth
موضوع : Electronic digital computers - Programming
۶ نسخه از این کتاب در ۳ کتابخانه موجود است.
153. The art of computer programming
Author: Knuth, Donald E
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming
Classification :
QA
76
.
6
.
K64
1973
154. The art of computer programming
Author: / [ by ] Donald E . Knuth .,Kunth
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming
Classification :
QA
76
.
6
.
K64
155. The art of computer programming
Author: / (by) Donald E. Knuth
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming
Classification :
QA
76
.
5
.
K57
156. The art of computer programming
Author: Knuth, Donald E.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers
Classification :
QA
76
.
6
.
K64
157. The art of computer programming
Author: Knuth, Donald Ervin, 8391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic digital computers- Programming
Classification :
QA
76
.
6
.
K6
158. The design and analysis of computer algorithms /
Author: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
Classification :
QA76
.
6
.
A36
159. The design and analysis of computer algorithms
Author: Aho, Alfred V
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Algorithms
Classification :
QA
76
.
6
.
A36
160. The design and analysis of computer algorithms
Author: Aho, Alfred V.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers Programming, Programming )Electronic computers( , Computer algorithms
Classification :
QA
76
.
6
.
A372
1974
